Ontology-Based Meta-Inferencing
نویسندگان
چکیده
Project Halo has the long-term objective of developing a digital Aristotle, i.e. a knowledge system that is able to answer questions in a particular domain and give explanations for its answers. In this paper we report about the Ontoprise contribution to the Halo Pilot Project, in which various competing ontology engineering methodologies and knowledge system capabilities have been investigated. Concerning the first, we describe how we dealt with engineered a significant set of laws from chemistry that interacted at different levels of generality and in varying orders. With regard to the latter, we report on the ability of our system to produce coherent and concise explanations of its reasoning. The importance of these two aspects can hardly be underestimated in the Semantic Web, as with future growth the interaction of large sets of laws will require dedicated management as well as the ability to let the user explore the trustworthiness of the ontology and the underlying data sources.
منابع مشابه
Ontology Inferencing Rules and Operations in Conceptual Structure Theory
This paper describes in detail the inferencing rules and operations concerning an ontology formalism previously proposed under Conceptual Structure Theory. The ontology consists of hierarchies of concept, relation and meta-relation types, and formal relationships between them, in particular between arguments of relation and meta-relation types. Inferencing rules are described as well as operati...
متن کاملLearning and inferencing in user ontology for personalized Semantic Web search
User modeling is aimed at capturing the users’ interests in a working domain, which forms the basis of providing personalized information services. In this paper, we present an ontology based user model, called user ontology, for providing personalized information service in the Semantic Web. Different from the existing approaches that only use concepts and taxonomic relations for user modeling...
متن کاملEfficient Inferencing for the Description Logic Underlying OWL EL
The recent OWL 2 W3C recommendation includes the lightweight ontology language OWL EL which is semantically based on an extension of the EL description logic (DL). It is widely assumed that inferencing in OWL EL is possible in polynomial time, but it is not obvious how to extend existing reasoning procedures for EL accordingly. We set out to close this gap by developing inferencing methods for ...
متن کاملMulti-Strategy Semantic Web Reasoning for Medical Knowledge Bases
Semantic Web technology offers excellent advantages for real-world medical knowledge bases, both on and off the Web. Based on ontologies from (bio)medical domains, OWL inferencing enhances knowledge bases with new facts, while deductive rules, written in semantic rule languages, supply additional inferences based on deterministic knowledge from e.g., Clinical Practice Guidelines (CPG). We argue...
متن کاملIncreasing the Expressiveness of OWL Through Procedural Attachments
The purpose of this paper is to provide an introduction to the OWL Web ontology language, a survey focused on the current state of the art in OWL inferencing capabilities, and a historical perspective on procedural attachments. The perspective is aligned with current OWL research. Several limitations of the OWL language and proposed extensions to overcome these limitations are discussed. A fram...
متن کاملA Data Partitioning Approach for Parallelizing Rule Based Inferencing for Materialized OWL Knowledge Bases
Materialized knowledge bases perform inferencing when data is loaded into them, so that answering queries is reduced to simple lookup and thus are faster. A major bottleneck of such a system is the inferencing process, which is slow and memory intensive. In this work we examine the problem of speeding up as well as scaling the inferencing process for OWL Knowledge Bases, that employ rule based ...
متن کامل